Auto merge of #2835 - alexcrichton:bump, r=alexcrichton
authorbors <bors@rust-lang.org>
Thu, 7 Jul 2016 16:44:50 +0000 (09:44 -0700)
committerGitHub <noreply@github.com>
Thu, 7 Jul 2016 16:44:50 +0000 (09:44 -0700)
Bump to 0.13.0


Trivial merge